-
1 quantified variable
переменная под знаком квантора; квантифицируемая переменная -
2 quantified variable
переменная под знаком квантора, квантифицируемая переменнаяБольшой англо-русский и русско-английский словарь > quantified variable
-
3 quantified variable
1) Математика: квантифицированная переменная2) Вычислительная техника: квантифицируемая переменная, переменная под знаком квантора -
4 quantified variable
переменная под знаком квантора, квантифицируемая переменнаяEnglish-Russian dictionary of computer science and programming > quantified variable
-
5 quantified variable
-
6 quantified variable
English-Russian dictionary of computer science > quantified variable
-
7 variable
1) переменная2) изменяемый; переменный; регулируемый•- additional variable
- allocated variable
- alphanumeric string variable
- alphameric string variable
- anonimous variable
- apparent variable
- artificial variable
- attached variable
- automatic variable
- auxiliary variable
- based variable
- basic variable
- Boolean variable
- bound variable
- chance variable
- character variable
- compile time variable
- complemented variable
- conditional variable
- control variable
- controlled variable
- decision variable
- dependent variable
- design variable
- digital variable
- dummy variable
- element variable
- endogenous variable - exogenous variable
- file-name variable
- file variable
- fixed variable
- free variable
- fuzzy variable
- global variable
- independent variable
- induction variable
- input variable - key variable
- label variable
- local variable
- logical variable
- logic variable
- loop-control variable
- loop variable
- main variable
- manipulated variable
- master variable
- metalinguistic variable
- missing variable
- morphic variable
- multicharacter variable
- mutually independent variables
- noncontrollable variable
- normalized variable
- notation variable
- operator variable
- output variable
- pointer variable
- predicate variable
- private variable
- process variable
- quantified variable
- random variable
- real variable
- regulated variable
- scalar variable
- selected variable
- shared variable
- simple variable
- slack variable
- slave variable
- state variable
- statement label variable
- status variable
- stochastic variable
- structure variable
- subscripted variable
- switching variable
- switch variable
- syntactic variable
- system variable
- task variable
- temporary variable
- ternary-valued variable
- top variable
- two-state variable
- two-valued variable
- unassigned variable
- unbound variable
- uncomplemented variable
- uncontrollable variable
- undeclared variable
- undefined variable
- uninitialized variable
- unregulated variable
- unrestricted variableEnglish-Russian dictionary of computer science and programming > variable
-
8 variable
1) переменная (величина) || переменный2) изменчивый3) изменяемый; варьируемый4) регулируемый•variable unrestricted in sign — переменная, не ограниченная в знаке
- absolutely integrable variable - anonymous free variable - complex free variable - complex random variable - discontinuous variable - discrete random variable - discrete variable variable - discrete variable - essentially free variable - excessive random variable - exchangeable random variables - generalized random variable - geometric random variable - infinitesimal random variable - jointly normal random variables - linguistic random variable - multinomial random variable - multinormal random variable - multiplicative random variable - mutually independent random variables - nonanticipative random variable - normed random variable - number variable - optimal stopping variable - orthonormal random variables - pairwise independent random variables - spatial variable - symmetrized random variable - two-state variable - two-valued variable - uniformly limited variableto separate variables — мат. разделять переменные
-
9 квантифицируемая переменная
Русско-английский большой базовый словарь > квантифицируемая переменная
-
10 переменная под знаком квантора
Русско-английский большой базовый словарь > переменная под знаком квантора
-
11 квантифицированная переменная
quantified variable мат.Русско-английский научно-технический словарь Масловского > квантифицированная переменная
-
12 квантифицированная переменная
Большой англо-русский и русско-английский словарь > квантифицированная переменная
-
13 квантифицированная переменная
Mathematics: quantified variableУниверсальный русско-английский словарь > квантифицированная переменная
-
14 квантифицируемая переменная
Information technology: quantified variableУниверсальный русско-английский словарь > квантифицируемая переменная
-
15 переменная под знаком квантора
Information technology: quantified variableУниверсальный русско-английский словарь > переменная под знаком квантора
-
16 дискретный
1) discontinuous
2) discrete
3) quantified
4) sampled
– дискретный анализ
– дискретный интервал
– дискретный канал
– дискретный передаточный
– дискретный спектр
– дискретный фильтр
дискретный исполнительный механизм — digital actuator
дискретный построитель кривых — incremental plotter
конденсатор переменной емкости дискретный — <tech.> discrete variable capacitor
-
17 proposition
-
18 bu'a
Selma’o: GOhA some selbri 1 Use: logically quantified predicate variable: some selbri 1 -
19 bu'e
Selma’o: GOhA some selbri 2 Use: logically quantified predicate variable: some selbri 2 -
20 bu'i
Selma’o: GOhA some selbri 3 Use: logically quantified predicate variable: some selbri 3
См. также в других словарях:
True quantified Boolean formula — The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first order logic where every variable is quantified (or bound), using either… … Wikipedia
Predicate variable — In first order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first order logic (FOL) they can be more… … Wikipedia
bound variable — A variable x is bound in a formula if it is within the scope of a quantifier (in first order logic, (∀x ) or (∃x )). Intuitively this means that as the formula is evaluated and x in this occurrence is assigned to an object, the quantified… … Philosophy dictionary
schematic variable — noun A variable that appears in an axiom schema and ranges over formulas, distiguished from the variables of the axiom schema that are quantified over and that range over the individuals of the universe of discourse … Wiktionary
Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… … Wikipedia
Statement (logic) — In the area of mathematics called symbolic logic a statement is a declarative sentence that is either true or false.Examples of statements:* Socrates is a man. * A triangle has three sides. * Paris is the capital of England. The first two… … Wikipedia
Alternating Turing machine — In computational complexity theory, an alternating Turing machine (ATM) is a non deterministic Turing machine (NTM) with a rule for accepting computations that generalizes the rules used in the definition of the complexity classes NP and co NP.… … Wikipedia
Skolem normal form — A formula of first order logic is in Skolem normal form (named after Thoralf Skolem) if it is in conjunctive prenex normal form with only universal first order quantifiers. Every first order formula can be converted into Skolem normal form while… … Wikipedia
Predicate functor logic — In mathematical logic, predicate functor logic (PFL) is one of several ways to express first order logic (formerly known as predicate logic) by purely algebraic means, i.e., without quantified variables. PFL employs a small number of algebraic… … Wikipedia
quantification — See quantifiable. * * * ▪ logic in logic, the attachment of signs of quantity to the predicate or subject of a proposition. The universal quantifier, symbolized by (∀ ) or ( ), where the blank is filled by a variable, is used to express… … Universalium
Mereology — In philosophy and mathematical logic, mereology (from the Greek μέρος, root: μερε(σ) , part and the suffix logy study, discussion, science ) treats parts and the wholes they form. Whereas set theory is founded on the membership relation between a … Wikipedia